81. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
Classification :
QA
76
,.
9
.
H42D5
2010
82. Discrete structures, logic, and computability
Author: / James L. Hein
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
Classification :
QA76
.
9
.
M35
,.
H44
2010
83. Discrete structures, logic, and computability
Author: Hein, James L.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
Classification :
QA
76
.
9
.
M35H43
2010
84. Distributed constraint logic programming
Author: Leung, Ho-Fung.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
Classification :
QA
76
.
63
.
L48
1993
85. Distributed constraint logic programming
Author: Leung, Ho-Fung.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
Classification :
QA
76
.
63
.
L48
1993
86. Entscheidungstabellen; Hilfsmittel zur entscheidungsfindung, dokumentation und programmierung
Author: Fischbach, Franz
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Decision logic tables
Classification :
QA
76
.
6
.
F54
87. Essentials of logic programming
Author: Hogger, Christopher John
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
63
.
H64
1990
88. Evolving Knowledge Bases
Author: \ Joao Alexandra Leite
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming.,Expert systems (Computer science),برنامهنویسی منطقی.,سیستمهای خبره (کامپیوتر),a03,a04,a03,a04
Classification :
E-Book
,
89. Evolving knowledge base
Author: / Jo?uo Alexandre Leite
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming.,Expert systems (Computer science)
Classification :
QA
,
76
.
63
,.
L48
,
2003eb
90. Evolving knowledge bases
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic programming. ; Expert systems (Computer science) ;
91. Evolving knowledge bases :
Author: João Alexandre Leite.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
Classification :
QA76
.
63
.
L48
2003eb
92. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
Classification :
QA
76
.
63
.
I566
1995
93. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
Author: Michael Fisher, Richard Owens )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
Classification :
QA
76
.
63
I566
1995
94. Extensions of logic programming
Author: E. Lamma, P. Mello, eds.
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming -- Congresses
Classification :
QA
76
.
73
.
E9
1993
95. Extensions of logic programming
Author: E. Lamma, P. Mello, eds.
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming -- Congresses
Classification :
QA
76
.
73
.
E9
1993
96. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings
Author: P. Schroeder-Heister, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
475
97. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses
Classification :
QA
76
.
63
.
E97
1991
98. Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings
Author: L.H. Eriksson, L. Hallnas, P. Schroeder-Heister )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
596
99. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
Author: Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1050
100. Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings
Author: Roy Dyckhoff )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
798
